$\forall$${\it es}$:event\_system\{i:l\}, ${\it e'}$:es{-}E(${\it es}$). $\exists$$e$:es{-}E(${\it es}$). (($\uparrow$es{-}first(${\it es}$; $e$)) $\wedge$ es{-}le(${\it es}$; $e$; ${\it e'}$))